/* Task in Bank 0 */

#include <rtx51.h>

unsigned int count0;

void bank_0_task (void) _task_ 2
{
   count0 = 0;
   while (1) {
      os_wait2 (K_TMO, 3);
      count0++;
   }
}
